Kelpie: a Concurrent Logic Programming System for Knowledge Based Applications

A software architecture that interfaces a concurrent logic programming system to a Prolog database machine is described. The concurrent logic programming system connects a guarded clause inference engine with a definite clause inference engine to support concurrent execution of mutually invoking guarded and definite clause programs. An interface to a Prolog database machine allows the concurrent logic programming system to invoke its clause retrieval facilities via the definite clause inference engine. The result is a concurrent system able to handle both systems programming tasks on the guarded clause inference engine and exhaustive search on the definite clause inference engine that can support sizable concurrent knowledge based applications in logic.